81. A resolution principle for a logic with restricted quantifiers

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Automatic theorem proving,، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
568

82. A science of operations

پدیدآورنده :

کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)

موضوع : Computer programming, History,Programming languages (Electronic computers), History,Microcomputers, History,Logic, Symbolic and mathematical

رده :
QA
،
76
.
6
،.
P737
،
2010

83. A structuralist theory of logic

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Logic, Symbolic and mathematical. ;

84. A structuralist theory of logic

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Logic, Symbolic and mathematical,، Implication )Logic(,، Structuralism

رده :
BC
135
.
K64

85. A structuralist theory of logic

پدیدآورنده :

موضوع : ، Logic, Symbolic and mathematical,، Implication )Logic(,، Structuralism

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

86. A summary of scientific method /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Logic, Symbolic and mathematical,Science-- Methodology

87. A survey of symbolic logic

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : ، Logic, Symbolic and mathematical

رده :
BC
135
.
L4
1960

88. A survey of symbolic logic

کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)

موضوع : Logic, Symbolic and mathematical

رده :
164
Le-S

89. A survey of symbolic logic

پدیدآورنده :

موضوع : ، Logic, Symbolic and mathematical

۳ نسخه از این کتاب در ۳ کتابخانه موجود است.

90. A theory of formal deducibility

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)

موضوع : ، Logic, Symbolic and mathematical

رده :
QA
1
.
N87
no
.
6

91. A theory of heuristic information in game-tree search

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Artificial intelligence,، Game theory,، Logic, Symbolic and mathematical

رده :
Q
335
.
T99
1988

92. A theory of sets

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)

موضوع : ، Aggregates,، Logic, Symbolic and mathematical

رده :
QA
3
.
P8
no
.
18

93. A theory of sets

پدیدآورنده :

کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)

موضوع : Set theory,Logic, symbolic and mathematical

رده :
511
.
3
Mo-T

94. A theory of sets

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : ، Aggregates,، Logic, Symbolic and mathematical

رده :
QA
3
.
P8
v
.
18

95. A tour through mathematical logic

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)

موضوع : ، Logic, Symbolic and mathematical,، Algebra, Abstract

رده :
QA
9
.
W7483
2005

96. A tour through mathematical logic

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Logic, Symbolic and mathematical,، Algebra, Abstract

رده :
QA
9
.
W65T6

97. A tour through mathematical logic /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Algebra, Abstract,Logic, Symbolic and mathematical

رده :
QA9
.
W64
2005

98. A unifying field in logics :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.

رده :
BC135
.
S5177
2003

99. Abelian varieties

پدیدآورنده :

کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)

موضوع : ، Abelian groups,، Logic, Symbolic and mathematical

رده :
QA
171
.
L28

100. Abstract set theory

کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)

موضوع : Logic, symbolic and mathematical,Algebra, abstract

رده :
512
.
8
Fr-A